Verifies party declarations and roles — no duplicates, party_type modules must exist and extend BaseParty