Add shared examples
Add ValueSuccess and ValueFailure specs