Added show instance for CodeGen Env, fixes bug in TypeChecker