Do not translate Cabs.NOTHING into dummy.
Forbid return expressions of type void.
Let simplify_equality perform injection less eagerly.

Now it only performs injection on hypotheses of the shape f .. = f ..
Handle storage specifiers property.
Completeness of constant expression evaluation.

Also better error messages if a constant expression is expected.