We no longer instantiate tyvars to Unknown types in the :print mechanism