Improve bound const handling A few changes to make const handling more similar to type handling. r? `@compiler-errors` -errors