Two new warnings: arity differing from demand type, and strict IDs at top level