Treated sfn's binding behavior consistently, and stopped using randomness for freshness.
Wrote a few unit tests for getFreeVars, and made them pass.
Added a few more getFreeVars() tests, which already pass.