Integral in the Expr with pretty printing. And a small refactor.
fix: No output.tex, no more.