EFUNs: Add typeof_identifier() typeof_identifier(prog, identifier) returns the type of a named identifier in the program.