Implemented the Ferry and Dining Philosopher examples as well as benchmarks. Added Select and Control expressions to the library.