Basic shared setup for reduced abelian p-groups

This file is the new entry point for shared p-group infrastructure. At the moment it re-exports the project-wide basic setup from Lib.Basic.