Implemented generalization (only classic for classes, not traits), added more complex diagram.