Removed all the wrapper data types; they weren't necessary at all.

Thanks to christiansen on #idris:

    <christiansen> carlo_au: if you put the implicit arg to MkValidOptionList after opts and xors, then it works
    <christiansen> because it actually has the values to reduce