ObSec.Runtime
Defines an interpreter for the ObSe language
Evaluates an expression (in big step fashion)
The expression to eval
Defines an interpreter for the ObSe language