terminatingCalls now returns calls with integers too.

IntInduction and all integer comparison rules are phased out. Instead
there is a single InequalitySplit rules which splits into (up to) 3 branches,
taking pc into account.

No more EqualitySplit for any other type, except generic types.

Isolate unused rules. Clean up Rules.

Improve QualifiedExamplesBank API