Type test: Verify API of Table.

* Simplify code.
Type test: [TDD] Signal undefined type when validating.
Type test: [TDD] Validate arguments of constructors.
Type: Move validation inside Table.
Type: Signal undefined type when validating.
Type: Validate arguments of constructors.