Type objects for the x10 language extension.