Updated specs doc according to Jacky's revisions (mostly about property part)