This issue is a .imp.issue from brainstorming improvements in https://github.com/Ravenbrook/mps/pull/213. This issue is best described by the specific comments: https://github.com/Ravenbrook/mps/pull/213#pullrequestreview-1420973870 https://github.com/Ravenbrook/mps/pull/213#issuecomment-1544003201 https://github.com/Ravenbrook/mps/pull/213#issuecomment-1544023867 <- this links to a suggested solution https://github.com/Ravenbrook/mps/pull/213#issuecomment-1586330054