Reworked type evaluator (WIP).