Work towards formula vars; improve tests
Formula generation works with NOT and OR.

We have polarity and clean NOTs.  Bad ass.
Generated variable names start with $

Not backtick, or nothing
Cleaner genTrue/genFalse

Also, remember that _.bind exists