error messages in test cases
don't quantify variables when adding them to the environment
remove dead code
local variables

- support for local variables
- better error messages in unify
- refactor inferring of lists of declarations
- tests
remove spurious comments, dead code
comment, whitespace