Adds exceptions and tests for validators: type, value, length