Party | a Parallel-types Analyser