Well written. Always interesting to see new eyes in modern guise on old ideas. I studied and worked at the university of york, 1980s, but not on their Ada compiler project. I recall it had an astronomical number of passes, and was said to have been formally rejected as "not compliant" until they removed a compile time warning which said something like:

congratulations you have used the most obscure part of the ada specifications