- in particular, we simplify function definitions before testing
them for linearity (this allows to inline array updates which are
defined via a record update {| a with map = a.map[i <- v] |}).
We really need to add some memoization here, otherwise we might
pay too much.