Prototype for OCCAM style Recipes.

This provides an imperative style for coding with state in hardware.

As per the description in Monad Reader Issue 7, A recipe for controlling
lego using lava, Matthew Naylor.