Adding display combinator to help format inference rules