> rather than having a single untyped parameter amongst typed ones
Yes, when experimenting with strict types, I'd rather move things in and out of 'mixed' than remove the notation completely. Like you said, 'mixed' means, "I've reviewed this area and concluded it needs to be dynamic." Also, maybe I missed this upthread, but are the docs still going to refer to 'mixed'? -- Sandy
