Cleaned up regex lemmas and replaced wall of text at the beginning of section
2 with a concise overview of the section. We probably still need some fill
text, but it should be interspersed and informative.