Solver should check for incompatible data

[janper]

when slots rules and modules don't match, the solver misbehaves. instead it should either report the issue or resolve it, ideally both.

the exporter, on the other hand, should be very benevolent