equality propagation
mkGroundTerm support
work in progress
update