Stir in the mustard and half of the cheese. Season to taste with salt and pepper. Stir in the gnocchi, broccoli, peas and tomatoes and bring to a gentle simmer, stirring. Sprinkle over the ...