Compact debug notation for bindings