Added KURE infrastructure for traversing Types (in isolation).