Move feature FreeVariableChecker to example/freeVariableChecker

The example code will demo dynamic transformer extension and scope analysis.
The example/freeVariable tests are not functional until the dynamic transformer extension is implemented.
Fixes #534 and Fixes #510