RFC: add a Type called AnyType that's subtyped by all other types except Any

[uniment]

Related:

What does `<:` as a type parameter mean?

julia> Array{<:,2} Matrix{<:} (alias for Array{<:, 2}) julia> Array{<:,2} === Array{<:Any,2} false julia> Matrix{<:} isa UnionAll false I wonder if Matrix{<:} means anything?