Candidates for constructive-algebra

No candidates exist for constructive-algebra. Upload one for this or another package?