prosem: submodules for libraries