Add knowledge base checking of typecases
Add knowledge base checking of typecases

The cases are checked for subsumed ordering, satisfiability and
nonsensical matching against ⊤.

hartenfels/Jastics,hartenfels/Semantics4J