tightening up unifying equality in several small ways
tightening up unifying equality in several small ways

urbit/urbit,urbit/urbit,ngzax/urbit,urbit/urbit,urbit/urbit,jfranklin9000/urbit,ngzax/urbit,urbit/urbit,jfranklin9000/urbit,ngzax/urbit,ngzax/urbit,jfranklin9000/urbit,jfranklin9000/urbit,jfranklin9000/urbit,urbit/urbit,ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,urbit/urbit,jfranklin9000/urbit,ngzax/urbit