Implements basis of a type system with type checking, ADTs. induction and more.
Co-authored-by: SimonGuilloud <sim-guilloud@bluewin.ch>
Co-authored-by: Simon Guilloud <simon.guilloud@bluewin.ch>
Co-authored-by: Sankalp Gambhir <sankalp.gambhir42@gmail.com>