Move 'go' into the RTree, actually use renderRTree
CPrim is a monoid
Add some Name indirection
[Name] -> Set Name
Pass names through solver
Use names to specify constraints
Also use BAll for monoidal concatenation (could be removed...)