Add support for Algrabraic Data Types to the typechecker #34
Description
#12 was closed without typechecker, but first iteration of it doesn't support ADTs.
Subtasks (and tests cases)
- Option: Basic tests on Option<'t> #46
- QTree: Basic test for QTree #45