Simple functional programming language with static type checking