Small refinements to searching. Use of partial_ instead of token_set_, bugfixes in the js