Haskell interpreter for a little Structural Operational Semantic.