Fix type annotation and clean up examples

Author: phrb

base/docs/basedocs.jl

@@ -1151,7 +1151,7 @@ The singleton type containing only the value `Union{}` (which represents the emp
 Core.TypeofBottom
 
 """
-    Core.Type{T} where T
+    Core.Type{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
@@ -1165,23 +1165,11 @@ 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
@@ -1208,14 +1196,6 @@ julia> struct Point
 
 julia> typeof(Point)
 DataType
-
-julia> fieldnames(Point)
-2-element Array{Symbol,1}:
- :x
- :y
-
-julia> Point.types
-svec(Int64, Any)
 ```
 """
 Core.DataType