Predefined query: for every in-scope type in the focus graph, return the type's properties, its property shapes, and any property groups they reference.

The query is parameterised on a TypeScope; today only AllTypes is meaningful (no additional VALUES ?c { … } clause is added).