Binary counter mod 8
====================

This example models a boolean  machine that gets a binary input and 
outputs true iff the number of bits with value 1 which it had received is 
dividable by 8.