In a small saucepan cook garlic and dried basil in butter 15 secs. Add to mashed potatoes along with salt. Gradually beat in enough milk to make light and fluffy. Set aside. For filling, in a medium saucepan cook onion and carrot in hot oil until onion is tender but not brown. Stir in kidney beans, tomatoes and their juice, corn, tomato sauce, Worcestershire sauce, and sugar. Heat until bubbly. Transfer vegetable mixture to an 8x8x2 inch square baking pan. Spread mashed potatoes over top. Sprinkle with cheddar cheese. Bake, uncovered, in a 190ºC oven 10 minutes or until heated through and cheese begins to brown. This is really very good. I'd like to cut back on the beans and maybe add TVP with it or even (gasp) tofu. I changed the recipe a bit, especially where the tomatoes were concerned. I was supposed to drain them but didn't. ----