On the aggregate implications of removing barriers to formality