Rename Instance -> PMInstance and introduce PMatching type.