Added PiDuce reference for pattern matching syntax