Tidied up the type and unit checkers. Made Many simplifications to the language. Partially added an expression to convert integer constants to real constants. Started working on a unit coverage test.