Milestone examples

• bakery.lean (depends on Bakery/DMC.lean)
• nsl-computational.lean (depends on Bakery/S4.lean)