Assignment typing

We have decided that we want type inference, but what about changing the type of the VarDecl later on?
Do we want to make the types of VarDecl's unchangeable, or should they be changeable if a new type is assigned to them?

```
var x = 10;
x = true; // should this be valid? Or should it return an assignment error?
```
