Added the conversion methods for union types, including unionofmaps,
unionoflists, unionoftuples, unionofrecords and union.