Intro to Par, an experimental language with structural linear types and duality