1. A computer program product comprising: a computer readable storage medium; and computer usable code stored on the computer readable storage medium, where, when executed by a processor, the computer usable code causes a computer to: determine whether a template in a source code is a meta-template; create a set of entries in a first data structure of an alternate type system, wherein each entry of the set of entries is to correspond to a separate recursive instantiation; conduct an evaluation of the set of entries to generate a single entry in a second data structure of a regular type system, wherein the single entry is to correspond to a result of the evaluation; and process the set of entries to resolve a problem.