New release

• Added weak subtyping with co/contra variant rules for higher order session types
• Added infinite delegation example
• Added weights for non-deterministic choices and branches
• Added interpreter for processes