Pretty-printing of type signatures