let simplify = Fol_let.compile