let none =  Fol.Tapp ("None", [])