cut-elim: preserve types
add tex prettifier