Equality

`==` and `!=` for `Box<T: Equatable>`. Does not allow `Box<T>` to conform to `Equatable`, however, because we cannot predicate the conformance on type constraints.