Mikrokosmos: an educational lambda calculus interpreter