bad locations reported for let-bindings of data variant constructor names
some fix-ups in printing results of compilation when it goes wrong