you've very much misrepresented his position. he seems to be okay with deep levels of modification, and even says that things have been abstracted enough to po

you've very much misrepresented his position. he seems to be okay with deep levels of modification, and even says that things have been abstracted enough to potentially support it. He merely says that nobody has written it thus far with that consideration in mind.