Typecheck AssignExpr properly
Bugfix in resolver
Better ccross unconstrained type error reporting
Add proper bugfixes and remove workarounds in typechecker
Makefile tweaks (use make test instead of make all-c-tests)