Please consider making posits hashable

Minimalistic patch is here: !1 (closed)