Function generate_with_types 

pub fn generate_with_types(
    program: &Program,
    type_env: TypeEnv,
    target: Target,
) -> GeneratedCode

Generate code with semantic type information (for better type inference)