Модули типа Math вообще не имеет так классифицировать...
Это - библиотеки функций.

Касательно остального - исходим из угла зрения "слои виртуальных машин" (по Пратту, например) - и сразу видим, какие абстракции над чем наслоены..

А в даге может быть и так, и так. Если учитывать динамически инсталлируемые реализации.