Add subterm induction with proper quantification of variables not considered
Fix haddock documentation
Rename IndPart to Obligation and V to Tagged/Tag
Change to TaggedObligation instead of ObligationTagged
Move the unsound instantiator out of the library and to the test suite
Fiddle some with feat so more interesting types are tested
Make hlint happy