Informality, enforcement and growth