Sync type diagram in document

tanishiking · tanishiking · commit 329e2ac2eb7a · 2021-06-15T23:38:30.000+09:00
diff --git a/docs/docs/internals/type-system.md b/docs/docs/internals/type-system.md
@@ -23,23 +23,24 @@ Type -+- ProxyType --+- NamedType ----+--- TypeRef
       |              |                +--- ThisType
       |              |                +--- SuperType
       |              |                +--- ConstantType
-      |              |                +--- MethodParam
+      |              |                +--- TermParamRef
       |              |                +----RecThis
       |              |                +--- SkolemType
-      |              +- PolyParam
+      |              +- TypeParamRef
       |              +- RefinedOrRecType -+-- RefinedType
       |              |                   -+-- RecType
-      |              +- HKApply
+      |              +- AppliedType
       |              +- TypeBounds
       |              +- ExprType
       |              +- AnnotatedType
       |              +- TypeVar
-      |              +- PolyType
+      |              +- HKTypeLambda
+      |              +- MatchType
       |
       +- GroundType -+- AndType
                      +- OrType
-                     +- MethodType -----+- ImplicitMethodType
-                     |                  +- JavaMethodType
+                     +- MethodOrPoly ---+-- PolyType
+                     |                  +-- MethodType
                      +- ClassInfo
                      |
                      +- NoType
