Type: Signal undefined type when validating.
Type test: [TDD] Validate arguments of constructors.
Type: Validate arguments of constructors.
Errata: Sort entries.
Errata: Constructor arguments should be valid types.
Type test: Verify API of Table.
Smartdict test: [TDD] Smartdicts do not share state.
Smartdict: Smartdicts do not share state.