close issue #11, fix err messages, fix TypeGenerator, fix tests

- dependency tree for assignment is now tracked
- types are infered for assigned variables as well
- fix types not inferred in nested statements
- fix badly formatted error messages
- add missing positions to tree nodes(previous failmerge)
- fix tests according to new checker