At some point later, we should consider whether there are truely functional
components in our language.

One suggestion was some kind of annotation that indicates whether a
step should be considered functional and, as such, its result can be cached
and re-used.