Yes, these are two good additions to the spec. Another is CREATE TRIGGER for functionality that goes beyond what declarative programming can feasibly achieve, e.g. business transaction logging.