Polymorphism example should explain how different types are initialised

[mrmanc]

This would explain that there are some conditionals at the edge of the application to work out what type to initialise.