Various fixes

- added quickcheck for properties
- moved quantifiers to separate module