These things don't need to be taken to their logical extremes, though - handling most of the semantic edge cases is still an improvement, even if it isn't exhau

These things don't need to be taken to their logical extremes, though - handling most of the semantic edge cases is still an improvement, even if it isn't exhaustive. Emphasizing well-defined semantics could also be a push to keeping the language small and clean.