Add inline documentation for Type and DataType.

Closes #23655.

Author: phrb

base/docs/basedocs.jl

@@ -1150,6 +1150,76 @@ The singleton type containing only the value `Union{}` (which represents the emp
 """
 Core.TypeofBottom
 
+"""
+    Core.Type{T} where T
+
+`Core.Type` is an abstract type which has all type objects as its instances.
+The only instance of the singleton type `Core.Type{T} where T` is the object
+`T`.
+
+# Examples
+```jldoctest
+julia> isa(Type{Float64}, Type)
+true
+
+julia> isa(Float64, Type)
+true
+
+julia> isa(1, Type)
+false
+
+julia> isa("foo", Type)
+false
+
+julia> isa(Float64, Type{Float64})
+true
+
+julia> isa(Real, Type{Float64})
+false
+
+julia> isa(Real, Type{Real})
+true
+
+julia> isa(Float64, Type{Real})
+false
+```
+"""
+Core.Type
+
+"""
+    DataType <: Type{T}
+
+`DataType` represents explicitly declared types that have names, explicitly
+declared supertypes, and, optionally, parameters.  Every concrete value in the
+system is an instance of some `DataType`.
+
+# Examples
+```jldoctest
+julia> typeof(Real)
+DataType
+
+julia> typeof(Int)
+DataType
+
+julia> struct Point
+           x::Int
+           y
+       end
+
+julia> typeof(Point)
+DataType
+
+julia> fieldnames(Point)
+2-element Array{Symbol,1}:
+ :x
+ :y
+
+julia> Point.types
+svec(Int64, Any)
+```
+"""
+Core.DataType
+
 """
     Function
 

doc/src/base/base.md

@@ -147,6 +147,8 @@ Base.identity
 
 ```@docs
 Base.supertype
+Core.Type
+Core.DataType
 Core.:(<:)
 Base.:(>:)
 Base.typejoin