Meta-variables in PDL now range over names mentioned in KB only.

Plus names and names from queries are not included.

Also renamed Grounder::Ply::names.occurred to names.mentioned.
Seems slightly clearer.

There still is an awkward bug with the G operator in
examples-battleship-1x4.limbo: a query only comes out true without the
G operator.