Indian Butter Lentils

Ingredients

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