Not-quite-complete version of the metacircular to evaluate expressions to return their type: the type evaluator.