Updates

+ Added a new language Typed-Arith with variables.
+ Fixed typo's
+ Added code stubbs.