Switch to murmur-hash implementation
Implement generic printing of terms