To be continued. Start of a Lambda calculus thingy.
Renamed lambda.agda to Lambda.agda. D'oh.