Implement proper "elems" hashcode
Refine printing function
Bind terms better in mergeTerms
Random style fixes