HashDicts improve performance
conj_many is a useful goal constructor to have around