Base validators and tests done
Type rule and tests done