Stack allocations for other memory types

[panther03]

With custom memory types added, the automatic freeing for stack variables only works on cells of type Any. There may be other resources that the typechecker should know is automatically freed at the end of the sequence (e.g. gpu thread local registers).

Is it reasonable to just hard code these other rules for each platform in here or do we want some kind of mechanism by which the user can declare what types of cells should be automatically reclaimed by the typechecker?

[panther03]

To discuss with Arthur; solution for stack variable we discussed privately between tk & I was to give some way of annotating memory types with an "implicit free" flag, or having some resource that they are wrapped in which the type checker uses to implicitly free at the end of the scope