Better explanation of the RegExPattern state machine data type.