Better type-checking for `multifile/1` directives misplaced out of entities