Added some math type checking and enviroment
Adds Grammar.ml (does not work yet) and adds grammar support in Main.ml and Options.ml
Typechecker compiles but does not include every kind of typechecking yet
Storing current work before trying new datatype for environment
WIP changed env to list and started using List.fold_left
Typechecking works with all names in same namespace (variables, methods and objects). Simple error message output
Some cleaning up
Clean up
Remove obsolete file
Removed typechecking of return types of methods and tasks
cleaning up
Add support for tests with bats
Merge branch 'interference_rules' of github.com:samuel02/RTFM into interference_rules

* 'interference_rules' of github.com:samuel02/RTFM:
  Removed typechecking of return types of methods and tasks
Added test runner
Typo
Added tests for function parameters
Changed type checking successful message
Improve message for incorrect variable assignment
Improve failed type checking message for var declarations
Added some tests for addition