Fixed Figure 4.2.
Fixed the DScalaness ModInstT type rule.