Many of the recent bugs are caused by ANY and NUMBER value type categories being used in variables in unexpected places. They can be created in places such as lists and proxies.

We should refactor the code so that this problem does not occur anymore.
Ideally, all places should use concrete value types inside variables.

This does not appear to be a problem anymore.