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
ppreviously referred to protocols
lsty; What is the
lreferring to? Linear? If so we should remove it for the session type variant
<++++> can just be an overload of <++>
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information