Unreachable counter means loop forever.

Now, instead of balking at an unknown counter type, an unreachable
counter is used to indicate looping forever when parameters are present.

Closes #226.