Function deep_eq 

pub exec fn deep_eq<T: ObeysDeepEq>(x: T, y: T) -> res : bool

ensures

res == (x.deep_view() =~~= y.deep_view()),

Executable deep-view equality, i.e., == on a type that ObeysDeepEq.