> My comment is about the semantics of the current syntax being unexpected
I actually like your version of the `_' behaviour, especially if
_ : <Type>
_ = <value>
were legal (@List, why is it not, BTW?). But "module _" says "I'm a
module, but ignore this", and it seems strange to spend such a nice
idiom on an almost pointless feature.