Added a few simple examples.
Updated the prototype, mainly with:
    + Lifted reductions to the state monad
    + Implemented a rudimentary version of "granularity support"

The code still needs to be clean!
Added reductions for internal choice and unit. Added two extra examples.