BUG fixed in TypeSystem. While codegen