added typenoteded expression type
added codeGen skeleton
Changed TypeChecker to type annotate, code is ugly but works atm.
added more struct to codegen
renamed Codegen to CodeGet
wokring on CodeGen and removed Codegen