Changed visibility of constructors to enable reuse outside Cobra.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Changed visibility of declareAbstractDatatypes, in order to reuse it.
Implemented the full quickcheck machinery
- support for all types
- support for parameterized types.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git