[ reflection ] computing free variables
[ reflection ] telescopes
[ test ] added reflection modules to test/Main