Проверка на не логику.

[valexey]

Ну что бы их нельзя было расширять, ибо какой смысл в расширении модуля?

Хотя может и есть такой смысл?

А класс как модуль и не будет расширен :-) Ну, то есть полиморфизма не появится. Максимум добавятся новые функции и поля. То есть к ООП это отношения тащемто не имеет.

Так что запрещать наследование не стоит, ибо оное наследование в данном случае к проблемам не приводит.