Type Iib String Theory