WIP -- fix a bunch of random tests
WIP -- fix region bound checking
WIP -- Fix method dispatch to instantiate higher-ranked where clauses
WIP -- add licenses so we pass tidy