Expose more pretty printing functions in SDN_Types
Merge pull request #110 from frenetic-lang/pretty-printing-fixes

Expose more pretty printing functions in SDN_Types