Library liblayers.compat.CompatLayers

Require Export CompatLayerDef.
Require Export CompatLayerFacts.
Require Export CompatLayerInvariants.
Require Export CompatSemantics.