Simple pure functional language with static typing.