If this type was defined as [class Foo ('a, 'b) { ... }] then return type expression [Foo ('a, 'b)].
Used mainly with [FreshSubst ()] or [MakeSubst ()].
TypeInfo Class | Nemerle.Compiler Namespace