reworked Choco generator to support nested abstract clafers
reworked Choco generator to support nested abstract clafers

generation in two phases (IR traversals):
1) just the clafer tree, which declares variables,
2) refs, super, constraints, asserts, goals

juodaspaulius/clafer,juodaspaulius/clafer,gsdlab/clafer,gsdlab/clafer