Improve pretty-printing of Core slightly (avoid indenting let bodies)