typedefs for Set vectors and maps