wrote a bunch of docs

Besides API docs for Regex, this also includes a treatise on matching
regular expressions with derivatives.