Text this: Leverage restrictions in a business cycle model