Integrate builtin bounds fully into the trait checker