Updating the Coral Language Specification up to names