Fixed bug in alphaEq and added test for it
Test with open terms where possible
Use the "rapier" method for inlining
Added debugging API and possibility to run single tests in GeneralTests.hs
Generalized type of shiftVars
Fixed bug in inlineAllEnv and added test for it
Fixed bug in alphaEq and added unit test for it