a couple of small typo fixes and drawing analogy between type and time systems and properties