Lentil Sloppy Joes with Creamy, Smoky Mac n Cheese Recipe (vegan)

I've been meaning to try this recipe out for a while now. Finally made it tonight! The homemade Sloppy Joe sauce brought me back to my childhood so I label this recipe a success! I'm not the most organized when it comes to writing recipe posts. I apologize if this isn't the best layout. I ended up doubling the original recipe and made loads of left overs. The only thing I didn't double was the green pepper and onion - you can if you want though! I imagine there will still be some left overs, depending on how many you are feeding. Left over sloppy joe mix should freeze well. Sloppy Joe Sauce: 2-3 cloves of garlic, minced 1 small onion, diced 1 green bell pepper, diced tablespoon of oil (optional, can use water to cook veg.) 1 can of tomato sauce, 13-15 oz (regular sized can) 4 tablespoons of white vinegar 1 tablespoon of ketchup 3-4 tablespoons of brown sugar 1 tablespoon of soy sauce (could use low sodium, tamari, liquid aminos or coconut aminos) 1...