Temporary fix for unification bug.
Print types even in silent mode.