Prettier printing of interfaces