Fix pretty-printer to use `:` and not `+` before supertraits