typedefs for list and map thingies