Instantiating a constant with a sum type fails with a cyclic declaration error

[romac]

module const_msg {
  const MSG: Msg

  type Msg = Foo | Bar
}

module MC {
  import const_msg(MSG = Foo).*
}

❯ quint typecheck const_list.qnt

Actual result

The spec above fails to type check with:

/Users/romac/Informal/Code/quint/const_list.qnt:8:3 - error: [QNT099] Found cyclic declarations. Use fold and foldl instead of recursion
8:   import const_list(MSG = Foo).*
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/Users/romac/Informal/Code/quint/const_list.qnt:8:27 - error: [QNT099] Found cyclic declarations. Use fold and foldl instead of recursion
8:   import const_list(MSG = Foo).*
                             ^^^

error: parsing failed

Expected result

The spec should type check.