let bool_type = Fol.PTbool