Function Definitions

[Checkmate50]

How can you have a lambda-based language with lambdas? Riddle me this! Anyway, this will probably involve some syntax and scoping changes, so future problem, but the actual implementation in lambda world should be easy at least. Interferes with #1 quite a bit I suspect