An emulator for exploring the Lambda Calculus as presented by Alonzo Church