Added a module and type for composite matrices, which compiles but awaits sufficient testing.