Use keywords for Mongo operators

This is the only good way to make them different from other user input,
allowing us to clean up the generated Mongo query.