The Monadic Concurrency base separated out:
 Features:
   - -> types
   - product types
   - sum types
   - Typing: G |- e : t
   - the concurrency monad
     * constructors: 
       # live e
       # dead v
       # fork e e'
     * morphisms:
       # ret e
       # e >>= e'
       # fork e e'

Removed from the polyml version
 - Base types unit, int, bool
 - boolean functions
 - Let x = e in 
 
The files: 
 - .ott: The original semantics file
 - .tex: the generated LaTeX typeset semantics
 - .v  : the generated Coq file
 - .ml : the generated OCaml file (probably not including the reduction
operation)