tidied exponential code, added a notation for parsing pairs in quiver bindings