Compiled mode doesn't recognize incompatible objects inside abstractions

[dromer]

We regularly get users that are confused as to why their patches don't work.
The cause is nearly always that they use some abstraction that uses incompatible objects under the hood.

It would be nice if the "compiled mode" check can traverse abstractions to properly raise the expected warnings.
Perhaps it should then mark the entire abstraction as incompatible (ie. make it orange).