Semantic Analyser: Bug fixes

* Temporarily disabled a struct assignment test.
* Mark type errors.
Semantic Analyser: Evaluation only if types are ok

Only try to evaluate the static value of expression if
the type check reports no error.