Cleaning up samples and adding a simple BDDfy Rocks one