[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error

[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error #156