Incorrect instantiation of functors using interfaces with type synonyms in the interface

[yav]

Consider the following example:

interface module I where
  type n : #
  type W = [n]

module A where
  import interface I as I
  // This defines a synonym with the same
  // name as the one imported from `I`
  type W = I::W

module B = module A where
  type n = 8

This results in:

[error]
    Overlapping symbols defined:
    (at ./A.cry:5:8--5:9, B::W)
    (at ./A.cry:2:20--2:21, B::W)

This should work and not complain.
The locations in the error refer to the W defined in A and the one imported from I