Added a dotted rule representation
Added supposedly working code to compute all LR(1) closures