- add task for QuickCheck
- add task for FregeDoc