Integrate builtin bounds fully into the trait checker
Integrate caching of results. Measurements show approx 90% hit rate.
wip
wip
wip -- stage1-cfail passes