Unchecked Math (Solidity Code Example)
User Defined Value Types (Solidity Code Example)
Unidirectional Payment Channel (Solidity Code Example)
Upgradeable Proxy (Solidity Code Example)