reduce syntax needed for Reg, added update() method to Rule
updated counter/Makefile
split rule into guard, body, and update