Pretty printing fix

Lookup implicitness on fully explicit names, so that we don't get
clashes with local names and hence mistakes in output.

Fixes #410
Handler for Exceptions in List context