Protocols
Signals
Structures
Quantifications