Test.Story: helper functions and types; completion of prop_1
Test.Story: add pending test cases