Intro to Par, an experimental language with structural linear types and duality (faiface.github.io)