Make notation/naming convention consistent
From development there's a lot of legacy naming schemes/notations that don't fit with the current way we think of things.
We should become consistent.
A growing list of current inconsistencies are:
-
Session subtyping being <p:
wherep
previously referred to protocols -
lty
/lsty
; What is thel
referring to? Linear? If so we should remove it for the session type variant -
<++++> can just be an overload of <++>