Update BLC.agda

- Fixed bug in lambda calculus implementation. It works correctly now
- Extended lambda calculus implementation
- Changed deBrujin implementation so that it translates back and forth between lambda terms.
- Old implementation moved to bottom.

Everything else is still poorly tested