further progress on Equal
rec Equal verified
printing of ASTs is now an opt-in feature
avoids generating empty names
translator now proves check_ctors_decs
got HOL light example running again -- was out of date
translator now avoids duplicate constructor names
translator uses lists (nil and ::) from init_envC