Implement let-sinking and improve the support for printing the untyped format.