Add means of specifying a default match expression for sum types.

Any match expression (function) accepting a single `otherwise` as
parameter will catch all remaining cases.
Update readme with section on sum types.