Sum of Array - Xquery Typing CST Test