main-eisop: Produce errors for unsafe casts to primitive types again

[cpovirk]

See jspecify/jspecify#583 (review).

I don't remember whether I ever wrote anything about the int? type that I refer to there or whether I had just thought I'd come to a rough understanding of what needed to be done. It's possible that I'll come across some notes in some code in a clone somewhere someday....