added function BasicRegexSyntax.size

computes approx (or actually exact?) number of states and edges in NFA
constructed using Thompson's algorithm.