Mutating collection types

[flofriday]

Example

l = [1, 2]
l.append(3)
print(l) // [1, 2, 3]

Note

This is quite tricky for the typechecker, since we don't have generics but lists and dicts are generic datastructures.