layered

Define and run a nested, type-safe layered architecture specification. Automatically checks the layered rules at the end of the block.