We should explore adding complex numbers as an adiak type. They could be a formal type, or implemented as a tuple.