Indian Butter Lentils

Ingredients

• 2/3 c dried whole black lentils
• 1/3 c dried kidney beans
• 5 c vegetable stock
• 1 1/2 onions
• 4 cloves garlic
• 1/2 inch fresh ginger
• 5 tbsp. butter, or ghee
• 1 bay leaf
• 1/2 inch cinnamon stick
• 1 whole cardamom pod, cracked open
• 1 whole clove
• 1 small dried hot red chilies, more or less to taste
• 1 tbsp. garam masala
• 1/2 tsp. ground coriander
• 1/2 tsp. ground cumin
• 1/2 tsp. chili powder
• 1/2 tsp. sweet paprika
• 1/8 tsp. ground fenugreek
• 1/8 tsp. ground black pepper
• 1/3 tsp. sea salt, plus more to taste
• 9 oz diced tomatoes
• 4 oz tomato paste
• 1/3 c cream