A simple functional programming language