Type error reporting added, but too many types are expected to be top.
CESK is passing typechecker, but rule emitter disregards trust-construction.