typechecker is on again, some trace commented out