Typechecker

Fully working typechecker implemented

Merge request reports

Loading