GitLab

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