Another import question

[Stephen J Bevan]

Consider the following :-

  >module Oberon_Integer
  >type Oberon_Integer = Integer

  >module Parser
  >import Oberon_Integer(Oberon_Integer(..))

If I drop the "(..)" HBC complains (and correctly so as far as I'm
aware).  However, having to tag types with "(..)" make it tedious to
change implementations between a "type" and "data".  So my question
is: why is the distinction on the import clause necessary?

bevan