- macrofied everything in /fol/sas/syntax
- macros are in /open-logic.sty
- added clauses for \liff
- removed parens around \lnot A and forall x A