- first implementation of quantifieres (not robust yet).
- added some preliminary test cases for substiution of quantified
expressions.