pub fn identical_o( x: Option<TypeKey>, y: Option<TypeKey>, objs: &TCObjects ) -> bool
identical_o is the same as identical except for the parameters