1.3.1 New Type

   1.3.1.1 Type Inference