small tidyup for printing bindings with long identifiers: allow the binder and its definition to go on separate lines
