Wouldn't it be much easier to scale this for functional languages where there is a theory of program transformations [1] and code is more composable?

[1] https://www.amazon.com/dp/013507245X