Aw can wrap, associate vars
[] is introduced
- better rules for recursion
+- is broken into + with more data sets
aw can ge given these finished predicates

Vars used collected to use as program args

CAW consecutive rule arguments:
Ae be 
aae aa used only in inputs