Use "obj" when the type is unknown.
Add annotation for var-type.
Add mutable array type.
Add mutable fields to classes.
Treat mutable parameters as variables.