New: IndirectType
New: template constraints
Change: resolve definable