More types for Traversal, Query, CyclicQuery, and Property