Mir runtime library (Typed Racket)