Revising `check_model()`

[strengejacke]

Relates to #595 and #643, which I would like to merge for reasons of clarity of the discussion. Here I post the remaining things we might address.

[strengejacke]

(moving discussion to #698)