let prop_type = Fol.PTexternal ([] , "prop")