- Extend constructs & \CIRCLE{} & \Circle{} & \LEFTcircle{}\tnote{1} & \CIRCLE{} & \CIRCLE{} & \Circle{} & \CIRCLE{}\\
- Extend interpretations & \Circle{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{}\\
- Transcoding free & \CIRCLE{} & \CIRCLE{} & \Circle{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{} & \CIRCLE{}\\
- Linguistic reuse & \CIRCLE{} & \Circle{} & \LEFTcircle{}\tnote{1} & \CIRCLE{} & \CIRCLE{} & \Circle{} & \Circle{}\\
- Transformations & \Circle{} & \CIRCLE{} & \CIRCLE{} & \LEFTcircle\tnote{2} & \LEFTcircle\tnote{2} & \CIRCLE{} & \CIRCLE{}\\
- Modular dependencies & \Circle{} & \LEFTcircle{} & \LEFTcircle{} & \CIRCLE{} & \CIRCLE{} & \LEFTcircle{} & \CIRCLE{}\\
- Nested pattern matching & \Circle{} & \CIRCLE{} & \CIRCLE{} & \Circle{} & \LEFTcircle{} & \CIRCLE{} & \LEFTcircle{}\tnote{3}\\
- Type safe & \CIRCLE{} & \LEFTcircle{} & \Circle{} & \CIRCLE{} & \CIRCLE{} & \LEFTcircle{} & \CIRCLE{}\\
+ Extend constructs & \CIRCLE{} & \Circle{} & \LEFTcircle{}\tnote{1}
+ & \CIRCLE{} & \CIRCLE{} & \CIRCLE{}
+ & \CIRCLE{}\\
+ Extend views & \Circle{} & \CIRCLE{} & \CIRCLE{}
+ & \CIRCLE{} & \CIRCLE{} & \CIRCLE{}
+ & \CIRCLE{}\\
+ Modular dependencies & \Circle{} & \CIRCLE{} & \CIRCLE{}
+ & \Circle{} & \CIRCLE{} & \CIRCLE{}
+ & \CIRCLE{}\\
+ Intensional analysis & \LEFTcircle{}\tnote{2} & \CIRCLE{} & \CIRCLE{}
+ & \LEFTcircle{}\tnote{2} & \LEFTcircle{}\tnote{2} & \CIRCLE{}
+ & \LEFTcircle{}\tnote{3}\\
+ Simple type system & \CIRCLE{} & \CIRCLE{} & \Circle{}
+ & \CIRCLE{} & \CIRCLE{} & \Circle{}
+ & \LEFTcircle{}\tnote{4}\\
+ Little boilerplate & \CIRCLE{} & \CIRCLE{} & \Circle{}
+ & \CIRCLE{} & \CIRCLE{} & \Circle{}
+ & \LEFTcircle{}\tnote{4}\\