Added example languages and some co-X stuff.
Split out the co-NP and co-NPC stuff.