Actually I think the answer is right there. Keep DRK and Darkcoin for commercial semi-commercial other usage, and just rebrand or spin off the same thing for consumer usage and call it InstantX with the symbol ITX. Same way car manufacturers have identical vehicles in different markets with different names.