[validation] Check that types are not renamed or are not moved to a different module/package

From a JSON format perspective, moving or renaming type doesn't change anything. It has however implications on generated code, particularly in statically typed languages where it causes a breaking change (previous code won't compile).

So we need a validation rule that fails if a type is moved around. This is a stateful validation that has to compare two schemas.