yet another efficient, principled regular expression library