Red Thai Curry Chili

Name: Red Thai Curry Chili
Ingredients: 1 red onion, diced; 1 red bell pepper, diced; 1 teaspoon salt, plus a pinch; 3 cloves garlic, minced; 2 cups cherry tomatoes, quartered; 1 cup red lentils; 1 1/2 pounds sweet potatoes, cut into 3/4 inch cubes; 2 tablespoons chili powder (I just used a mix of smoked paprika, cayenne, and cumin); 4 cups water; 1 1/2 cups cooked dark red kidney beans; 14 ounces can coconut milk; 2 tablespoons red Thai curry paste; 1/2 cup chopped cilantro; lime wedges, for serving; 1 tablespoon coconut oil