More array constants and parsing: better error messages, extend to CVC presentation language.