Added comments to the language
Fixed bug in ensure function in unit.
added test that causes crash
Changed type checking for invalid types
fixed codegen for blockexp