Worked around structural type issues with Size and Empty/NonEmpty combinators.
Added loads of combinator tests.
Fixed Or combinator (though it still needs work).