Also allow clearing instantiated variables
Logic variables allocated in Query are freshened wrt input, not empty context

Fixes #31
Allocate globally fresh logic variables for Query

Allocating them based on input names unfortunately produces
unpredictable results based on unification. Sometimes we
get ?vars, but at other times we see named vars. To be
predictable, the initial capitalized identifier list is
now simply ignored during search.