pub fn evaluate_equality_inequality_operation( lhs: TypeId, operator: &EqualityAndInequality, rhs: TypeId, types: &mut TypeStore, strict_casts: bool ) -> Result<TypeId, ()>