Looks sensible; should we tighten the various uses of RefType or Element to refer to these in QL at the same time?

I left the QL unchanged to minimise the chances of breaking code, but happy to change that too if that's the consensus.

I've tightened the QL types I found; I didn't see any Elements that need to be changed, though?

Looks good -- the only Element I remembered was from hasName which is of course mashing a lot of different alternates together anyhow so doesn't need changing