trying some new rules... (wip)

new_system2.tex

@@ -167,6 +167,9 @@ TODO: Algorithmic rules
 TODO: AppC rule: what about the argument? We could loose precision there...
 In the end, these rules look quite similar to the candidate generation rules.
 
+TODO: No need for the "choice" rules if applications of union arrow
+are splitted without needing to type them???
+
 \subsection{Candidates generation rules}
 
 \begin{mathpar}