Fix a typo in Halo.FOL.Abstract