Concrete levels can include non-external atomic methods

[jaylorch]

The concrete-level checker doesn't raise an error if the level contains an {:atomic} method that isn't {:extern}. But it should, since the compiler can't compile an {:atomic} method (at least, not so that its calls and returns are indeed nonyielding points).