now typechecking stores the type-information necessary for the compilation - also inside the expressions