contract-type-awareness.md