Improves term printing for infix operators

3 jobs for notypeclasses
latest Auto DevOps