making builtins.equiv substantially less expensive