This milestone consists of verifying the feasibility of the core concepts by implementing them in real code. The code can be rough, stubby, and sparsely documented, but it should cover all essential features of the framework, i.e. fundamental primitives, means of combination, built-in capabilities for tracing and controlling execution.