Add modules, update xquery3.0