LITEQ Semantics implemented in F# as of 04.04.14