pub fn codegen_program(prog: Program) -> String
Generates Mil code (in s-expression format) by traversing a fully monomorphized Program.