switching off printing of reftPs applied to tyCons