[polyml] Inspecting structures