Description
It would be nice to prevent this:
g.V().union(identity(), g.V())
we of course want the use of an anonymous traversal here:
g.V().union(identity(), __.V())
It seems we need to enforce this less as a convention and more as a programmatic axiom.