Global collection without `var` keyword should not be allowed

[amir734jj]

Basically check that lhs decl is declared VAR in global collections.

type Integers := SET[Integer];
var collection leaves : Integers;