Very veggie lentil bake

red lentils ((~ 1/2 cup))

white rice ((~ 1/4 cup))

vegetable stock ((~ 2 1/2 cups), or 2 stock cubes made up in 650ml water)

oil

small leek (or 1/2 large leek, sliced)

bell pepper, diced fairly small ((I used orange))

medium mushrooms, (diced fairly small)

small courgette (zucchini), (or 1/2 large courgette, diced fairly small)

smoked paprika

cayenne pepper

Black pepper

grated cheddar cheese ((~ 1 cup))