struct-based UDTs should be validated against declared struct in YAML file

[benbellick]

This also includes ensuring type consistency with bound type parameters.

[benbellick]

Part of the necessity of this is in the fact that struct based literals have a formal schema in the YAML file. We technically just expect the user to construct valid struct-based UDTs. Instead, we should be verifying that they actually align.