Captain Don, welcome to pond boss, great info here.
If you do decide to stock some trout in the fall a good variety is tiger trout, if they are available in your area.
In my experience they are more aggressive than brook or rainbow trout and would be easier to catch in the spring before the water warms too much.
Being in Mich. don't expect much growth over the winter, especially if your pond ices over.