Compiler: type checking on assignments

```
Assignment operations are not properly type checked. Both trivial and compound 
Left-Hand-Side assignments need to be type checked.
```

Original issue reported on code.google.com by `don.ap...@gmail.com` on 5 Sep 2014 at 5:28
