TypeEvaluator works as intended for simple types and categories.