"cannot determine a type for this expression" should be non-fatal

[pcwalton]

Generally, when we can't determine a type for an expression due to structure_of failing, we're kinda stuck when it comes to typechecking that function, but we can back out and typecheck the other functions.