Extract File Declarations overly complex #10
Description
Extract declarations may be implemented as a wrapper declaration, but are specified in a way which is very complex to implement. It may be worth moving their introduction to the next milestone for sanity purposes, or removing them from the specification completely in lieu of dependency usage instead.