Your system is going to have to be usable, without disappointment or disaster, by people who cannot understand the concept of a dangling else. I have a hunch t

Your system is going to have to be usable, without disappointment or disaster, by people who cannot understand the concept of a dangling else. I have a hunch that that makes nonsense of your "expression space" (as if Gödel had not already).