Attaching tweezers like ionophore to a proton crane: theoretical design of new tautomeric sensors