Farmers Pie

Name: Farmer's Pie
Ingredients: 1 small shallot, chopped; 1 small carrot, chopped; 1 clove garlic, chopped; 1 tablespoon chopped fresh rosemary; 1/3 cup dried lentils; 2/3 cup vegetable stock; 3 tablespoons olive oil; 1 small onion, halved and then thinly sliced; Dash of red wine vinegar; 1/4 cup white wine; 1/3 pound wild mushrooms, roughly chopped; 3 sprigs fresh thyme; 2 medium white potatoes; 2 tablespoons butter; 1/4 cup milk (more if needed); 1/2 cup grated parmesan cheese; Salt and pepper, to taste