Spec layers

Umbrella import for layer-level denotational semantics and explicit backward/VJP definitions.

The files under this chapter define what each neural-network layer computes. Higher-level modules, models, runtime execution, and verification all build on these reference definitions.