Instant Pot very veggie lentil bake

(~ 1 1/8 cup) red lentils

(~ 1/3 cup) white rice

medium courgette ((zucchini), grated)

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

medium carrot, (diced fairly small)

medium mushrooms, (diced)

cheddar cheese, (grated (~ 2 cups when grated))

smoked paprika

hot chilli powder

dried parsley

dried thyme

Black pepper

(~ 3 1/2 cups) vegetable stock