Rewrite paths for reproducible builds

Consistency tables: for checking consistency of module CRCs

Parametric diffing

When diffing lists where each element has a distinct key, we can refine the diffing patch by introducing two composite edit moves: swaps and moves.

Uniform interface for common data structures over various things.

Management of include directories.

This module provides some facilities for creating references (and hash tables) which can easily be snapshotted and restored to an arbitrary version.

Modules about numbers, some of which satisfy Identifiable.S.

Warning definitions