[ Tests ] Move the LaTeX.lagda test to the latex tests