Derivation "ATerm" file format

For historical reasons, derivations are stored on-disk in ATerm format.

Derivations are serialised in the following format:

Derive(...)