Simple functional programming language