impl Varspec::ValidationError
fix some bug
Implement builtin matcher