Much simpler semantics with much more powerful features, should we add. Because simpler here doesn't mean "dumber" in any way.