Finished semantics and interperation of expressions except function
calls