Remove the type for a pattern
Make the syntax of the language 'simple' really simple
Remove the unused keyword 'sym'; add keywords 'then' and 'else'
Use a more informative name
Simplify the syntax of the language further: use assignments to introduce bindings inside a block
Give precedence to assignments