removed source.coq requirement so can be run in *COQTOP* window
Changed to adding a group
Correctly highlighting statements
Names regions by statement or comment with sequential numbers