[NTG-context] typesetting proofs