Premisses spanning multiple lines

In typing rules with lots of premisses, it is easy to end up with very wide proof trees, which often do not fit on the page. It would be very useful to be able to introduce a line break after a premiss, so we can have many premisses across multiple lines, without them overflowing horizontally.