checkpoint after splitting advance-pattern into oen for literals and one for rules
removed slots from patterns, leaving slot-values to be renamed...
literal slot value trail taking shape
conj is OK with a nil list
checkpoint