Gone
Requested document A type system for first-class layers with inheritance, subtyping, and swapping is not existed or removed