Taxonomy of high-level properties relevant for CDP lending protocols (start focusing on simpler properties such as ESM)

[0xverif]

• [x] ESM Temporal/Dynamic logic properties
• [ ] Categorize into type of properties (invariant, coinvariant, etc.)