E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory