Highlight empty-sequence() and item() as type