heap_lang: mutable n-ary locations, n-ary products, n-ary sums
The former is interesting to model more realistic linked lists. However, we still can't realistically do CAS on sum discriminants, so if we want to restrict CAS to "small" types, we may have to rewrite some examples.