Agreed that this is not ideal. Would be nice to be able to express that the type does not change. Maybe even have the ability to make it strict, ie unless opt-o

Agreed that this is not ideal. Would be nice to be able to express that the type does not change. Maybe even have the ability to make it strict, ie unless opt-out, it is an error to change type of a variable.