Welcome to Smogon! Take a moment to read the Introduction to Smogon for a run-down on everything Smogon, and make sure you take some time to read the global rules.
I'm assuming since you didn't list the redis rights on the pokemon I received from you, that they are fully redis compared to the ones you listed as semi/non-redis. Please correct me if I am wrong.
Yes, I can trade those for Nidoking and Jirachi (Jirachi must be in Gen 4 remember), also would you also be interested in anything else for Cryagonal and Nidoqueen?