changes:
- fixed a huge bug in beta reduction!
- renamed IDeBruijn2FreeNames.java to IDeBruijn2Constants.java to reflect its actual behavior
- added a new testcase

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>