Fixed nested-forall-test, and deep skolemisation bugs. Improved '@' parsing.