[Feature]: Add additional checks for inc spec resolution

[rly]

What would you like to see added to HDMF?

See TODOs in https://github.com/hdmf-dev/hdmf/pull/1312/files

Specifically:

• Check that RefSpec target type is compatible - use NamespaceCatalog.is_sub_data_type
• Check that shape is a valid subset of the original shape (same for dims)
• Check that quantity is valid but this might not make sense
• Support complex resolution where a GroupSpec has an inc spec and a subspec has a conflicting definition (see tests in Refactor inc spec resolution to pass array properties #1312)
• Support proper namespacing of types (do not assume a type name is defined only once in the namespace catalog)

What solution would you like?

Support the above edge cases

Do you have any interest in helping implement the feature?

Yes.