Work on polymorphism and module system