Factorial - Xquery Typing CST Test