Using '011' instead of '01' for calls
Added grammar rule for definitions
Added definitions to binary lambda calculus
Copy definitions into next REPL cycle

Copy top-level definitions into next REPL cycle.
Making definitions reusable in REPL
Bugfix
Added some links