Proposal for scoped const contracts

[Janice Caron]

That said, for min(), you'd want to return /any/ of the input
parameters, so I guess that means your syntax is better than mine.