Blocked by #2 After adding recursive types, we should be able to add `json` validator that will match every JSON.
