major changes

preprocessing added
- <=>/<~> substituted
-quantors moved to the front