PrettyPrinter: support let and 2 small fixes