Definable Types Over Banach Spaces