let pointer_type pt = Fol.PTexternal ([pt] , "pointer")