Improved testing support. Fixed some bugs with quantifiers. Docs.