pub const StructuralEq: Symbol;