Formalizing more people in the economy through policies