Reifies arbitrary terms into types
