pub fn comparable(t: TypeKey, objs: &TCObjects) -> bool
comparable reports whether values of type T are comparable.