Model composition

This document will loosely describe how a declared model is put together to a runnable program.

This document is yet to be written. The guide is prioritized for now.

Instruction sorting

Solver assignment

Batch creation and batch function compilation

Memory layout