[basex-talk] cyclic type declarations