Implement new mod import sugar

Implements RFC #168.
Would exhaustiveness allow us to express the catch all via the pattern `[_] | []`? It may be a little clearer that we're only allowing 0 or 1 use cases.