a toy functional programming language