In isolation, I love the idea. I don't have a strong sense of how the tradeoffs would affect things in practice though. Perhaps they are not a big deal, but if

In isolation, I love the idea. I don't have a strong sense of how the tradeoffs would affect things in practice though. Perhaps they are not a big deal, but if they are too restrictive, then maybe the next best thing would be to have anything go (like in Python or Javascript), but the compiler guides you to where it's having trouble inferring things.