& \CIRCLE{}\tnote{3}\\
Simple type system & \CIRCLE{} & \CIRCLE{} & \Circle{}
& \CIRCLE{} & \CIRCLE{} & \Circle{}
- & \RIGHTcircle{}\tnote{4}\\
+ & \textcolor{gray}{\CIRCLE{}}\tnote{4}\\
Little boilerplate & \CIRCLE{} & \CIRCLE{} & \Circle{}
& \CIRCLE{} & \CIRCLE{} & \Circle{}
- & \RIGHTcircle{}\tnote{4}\\
+ & \textcolor{gray}{\CIRCLE{}}\tnote{4}\\
\bottomrule
\end{tabular}
\begin{tablenotes}