Added enumeration type for polymorphism kinds.
Added polymorphism support for strong typed classes.
Added unit test.