update docs and add some missed experiments

I added some docs (and removed just a bit) and added support for signatures and regex_sets.

Have a look?  I think this is about ready for core.