Complete detailed properties
Add forall mechanism, include in properties
Version bump
Add talk directory to readme