Added types file, containing AutoVivification class.