add ability to query whether an element has been hashconsed

[HuStmpHrrr]

title says all.

since it is already using a hash map. why is a fold method exposed but not much simpler query methods?

[lenianiva]

I'll add it once the current backlog of PRs are processed