Completion usability improvements

Completion bugs fixed:

 * Completion of names after parentheses and ops works
 * Completion of prefixes of other names
 * :p and :prove are only completed by metavariables instead of the whole scope