Fix #2760: deprecate mkNorepType, add mkNoRepType