Implement a *Check Model* Operator which shows any inconsistencies within the current model, see e.g. #146 . Discussion of further ideas below.
