Added the ability to do multi-colored mana cost, where either one or another mana type might be paid. Doesn't yet handle the case where the amounts of mana in question are different.