LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text