Rewrite of short sections 4.1.1, 4.1.7 and 4.1.8

ID, Timestamp and Stored. Just some restructuring of requirements and
descriptions. Hope there are no whitespace issues this time.