re memoization: it’s not always desired, but if yo...

# language-proposals

[orangy]

re memoization: it’s not always desired, but if you have a rule, that PA always closes over value, and as @ilya.gorbunov noted already working like this for bound references, that should be fine