Module inclusion and inheritance