Vegetarian Enchiladas in simple, homemade red enchilada sauce