[sv-ac] Updated proposal for #1728 let statement uploaded

Hi,

please find attached the proposal for your convenience. 
The changes are:

- take care of red dots and commas as mentioned by Brad, and
- description of formal arguments just refers to 16.7.1 as updated by
proposal for Mantis #1601.

There is some duplication of formal arg definition:
For sequences, 1601 defines 
sequence_formal_type ::=
	data_type_or_implicit
	| context

The same definition is used for  let_formal_type. Should it be changed
to sequence_formal_type? Or the other way round?

Thanks,
ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.