Expose tcTyConsOfType as Types.tyConsOfType