W-Types With Reductions and the Small Object Argument