op_type_code: introduce get<>() to get a type code from static type