Updating the Coral Language Specification up to collection literals