Proof of concept that the lambda-calculus doesn't need a garbage-collector.