Break apart miniML.lem

Separate files for small-step, big-step, and type system.