including adapted version of Peter Sestoft's lambda reduction workbench, see: http://www.itu.dk/people/sestoft/lamreduce/

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>