Perhaps at some point you can help me evolve the set of methods deriveSymbols, deriveType, etc. so that this case is captured, as this is super similar to what those do. Being spectacularly prone to being done incorrectly/incompletely, I would love to take substSym-level operations out of the hands of Joe Call Site, present company excepted of course.