Even after #542 we still have a bunch of ITypedElement-based logic in the validator. These were not trivial enough to include in the already extensive PR. Additionally, some of the functionality might be better suited for the SDK. We should enumerate the cases where this happens, and figure out where and how to fix them.