typeBound now is the base function for all other functions

Reintroduce existing functionality as instances of it

instantiateType now takes TypeParameters

Move Same to GenExprOps

Write a few more tests

Fix typeCardinality