Tighten definition of BindingIndex.canonical? for consistency