Simplification of checker internals

- Move diagnotics to be on handler ### TODO - More splitting of diagnostics - Changes to types - Changes to printing cycle detection - Property layout changes - PropertyValue as CovariantCandidate - ... lots more