Mum's 'Red Dragon' bean pie

This is sort of a veg shepherd's pie. Grandma looked out the recipe while I was in Edinburgh and made it for me. She had got the recipe from Mum. In fact, as she looked through her recipe folders she found that she had got the recipe from Mum twice: she had two different copies, both handwritten by Mum. Seeing Mum's handwriting is one of those things that makes her seem so near yet so far - I remember tearing out and keeping all these little bits of paper where she'd signed my schoolwork: I didn't want to forget what her writing looked like, same as I didn't want to forget anything else about her.

The pie was really tasty - a bit 70s perhaps, but lovely. Grandma gave me one copy of the recipe and I've brought it back with me: I made it for S today (with black eyed beans) and he liked it.

For filling:
4 oz aduki beans (or similar)
2 oz wheat grain or rice (used rice)
1 onion, chopped
8 oz grated carrot (used about 5 medium-small ones)
1-2 tbsp soy sauce
2 tbsp tomato puree
1 tsp mixed herbs (used mix of oregano, basil, thyme)
1/2 pint bean stock
salt+pepper

For topping:
~4 medium potatoes, peeled, boiled and mashed with
-marg, olive oil, fake milk, salt+pepper to taste

Soak the beans overnight, then cook. Cook the rice. Cook the potatoes separately, then mash with oil/marg, milk, salt+pepper (we used a mixture of potato and celeriac and it was yum).

Fry the onion and carrot. Add the rest of the filling ingredients to the onion and carrot and simmer until thickened.

Put the filling in an ovenproof dish, top with the mashed potato, and bake in a 400F oven for 20-30 min until the top of the mashed potato has started to brown and the filling is bubbling.

Note: I followed the recipe fairly approximately - used ingredients as above but just guessed quantities.