Explicit namespaces in import lists

[qsctr]

From #1344: Add a way to specify the namespace to import an identifier from in import lists (i.e. type level or value level). It seems like the current behavior is that if the same name exists in both namespaces then both will be imported, that is

module Example where
foo = 1
type foo = Bit

import Example (foo)

imports both the value foo and the type foo.

Haskell handles this by forcing types to be capitalized so there's no ambiguity, and for operators it only imports the value namespace by default and with the ExplicitNamespaces extension prefixing the operator with type imports the type operator.