Expose more pretty printing functions in SDN_Types