Renaming of constructors and muRascal syntax rules related to
references.