further progress on Equal
rec Equal verified
Merge branch 'master' into x64
printing of ASTs is now an opt-in feature
avoids generating empty names