right-associate (.)
fix reify'/eval rules; true/false/xor
inline-names
step4d with currying
Pointer to KU netlist packages.
'and' patterns: generation during reification and transform to CCC. doesn't work yet.
back to step4c, while working on 'and' pattern generation.