Introduce the exec package, for types that form the execution model.