Generate correct runtime error messages

[asgerf]

The translation from analyzer to kernel generates an InvalidStatement or InvalidExpression when we can detect at compile-time that a runtime error should be thrown. This statement throws at runtime, but the details of what error message to throw are not yet included in the node.

[asgerf]

Some progress has been made for this but there are still some missing cases. It is still not clear how best to recover from an invalid constant expression.