Regular JSON Expressions -- a fast JSON matching algorithm.