switched to bedrock/examples
added a factorial example
added shuffle.v -- While-loop and post-condition example