Check traits for built-in bounds in impls

r?

(btw, the change to Deref is one we would like to make at some point anyway, but it is needed here to keep some tests passing)