refactored argument binding.
comment.
rename local Mem vars, error messages.
Scope kind.
Label parser now accepts any expression for name; Label and Variad error handling improvements.
improve error message.
space.
write_repr_is_quotable check.