[basex-talk] Cycle detected: a cycle exists in the type hierarchy between Prop and AProp