Gardener's Pie Recipe

Name: Gardener's Pie Recipe
Prep time: 20 min
Cook time: 20 min
Total time: 40 min
Cuisine: European
Ingredients: 1 tbsp garlic infused oil; 1/3 leek or 1 small onion (finely chopped); 2 medium carrots (sliced into thin rounds); 1 medium courgette (zucchini, sliced into 1/2cm rounds); 1 tbsp cornflour (corn starch); 1/2 tsp smoked paprika; 1 x 400g can chopped tomatoes; 400 ml gluten-free vegetable stock; 1.5 tbsp dried mixed herbs; 1 x 400g can butter beans (drained); salt and black pepper; 900 g potatoes (about 4 medium potatoes, peeled and chopped into chunks); knob of butter (use dairy-free or vegan butter if needed); 3 tbsp milk (use dairy-free milk if needed); small handful of grated cheese (plus another large handful to sprinkle on top (use dairy-free cheese if needed))