Rename the constructor for function definitions from `define` to `fdef` (short for function definition)
Rename the type `Def` to `FDef`
Correct the misuse of the abbreviation `Sig` and `sig` (for Signature and signature) by renaming them to `FDefs` and `fdefs` respectively
Replace less disinformative and misinformative names
Replace variable declarations in blocks with variable definitions
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
Clear cases for `VDef` that has already been removed
TODO: block scoping
fix?
fix
fixed grammar
return Prog type
testing on old branch; to merged after fix of name resolution for simple
Fix `resolveNames` by passing scope around
add test