A new test-case for pretty-printing field selections to TeX
Fix minor EmitTeX bug (introduced in 1032a64e1). Use new cmp tool to check more elaborate munger example in theory_tests directory.