Added the examples directory which currently includes on one example, Boolean.  New examples will be added as additional semantics are added.