> I believe that actually adjusting the programming language grammar (and thus the actual parser) is clearly a parser approach to solving the problem. How do y

> I believe that actually adjusting the programming language grammar (and thus the actual parser) is clearly a parser approach to solving the problem. How do you get the properties of type safety (progress and preservation) in this case?