added type lookup and tracability to CodeGenerationContext