Adding semantic rules for SOME and associated Rust interpreter

This MR follows !42 (merged).

It adds the semantics rule of SOME in the data-model and implement the translation into a rust interpreting function.