simplify App.make_let_converted a bit