fix: unique ids for TVar; fix: hide isEqual
Merge branch 'master' of https://github.com/f-dz-v/SwiftSTM