pprintAtomicTerm :: Context -> Term -> String
pprintAtomicTerm ctx (TermVar index) = fst $ indexToName ctx index
pprintAtomicTerm :: Context -> Term -> String
pprintAtomicTerm ctx (TermVar index) = fst $ indexToName ctx index
pprintAtomicTerm ctx (TermVar index) = fst $ indexToName ctx index