types2: add pretty printing of type schemes