Deep type check for attributes using sequences/records

[saschanaz]

Currently the validator only warns when sequences and records are directly used in attributes. The existing function to check dictionaries may be able to be generalized for this.