Sorted Psi-calculi with Generalised Pattern Matching with proofs