Module functors and first-class modules are probably the big feature. Those are more akin to allowing functions between classes, rather than just objects.