You should be able to create noms collections with an explicit type

It's sometimes useful, just as you can create a struct with an explicit type today.

We'd have to do something in the case where an item added to the collection breaks the type. Options would be either silent type accretion or error. Off the top of my head, error seems better.