Latex backend:
Improved rendering of KList terms, corrected rendering of .KLIst.