pub fn elaborate_program(program: &Program) -> Result<Program, ElabError>
Elaborate a frontend program by resolving and concretizing runtime types.