A GUI tool to aid with learning the lambda calculus