CF
Extended test cases for typechecker. Fixed issue with undefined identifiers in expressions.
Updated todo
Created typeinitializer class to create generic value objects of different types.