Remove type argument, symtype, update docs

[0x0f0f0f]

#36

[0x0f0f0f]

#37

[ChrisRackauckas]

Was there an agreement on this?

[0x0f0f0f]

Was there an agreement on this?

I will file a reviewable PR with the needed changes to SU

[ChrisRackauckas]

@bowenszhu you've been considering the performance semantics, what do you think of this?

[ChrisRackauckas]

Also, is this actually correct? How is the type used in the hash if it's in the metadata?

[bowenszhu]

@bowenszhu you've been considering the performance semantics, what do you think of this?

This doesn't bother with performance.

Also, is this actually correct? How is the type used in the hash if it's in the metadata?

Probably fine. In SymbolicUtils.jl, symtype is a part of parametrized typeof.

using SymbolicUtils

@syms x y::Complex{Int64} z::Float32

tx = typeof(x)                        # SymbolicUtils.BasicSymbolic{Number}
sx = SymbolicUtils.symtype(x)         # Number
ty = typeof(y)                        # SymbolicUtils.BasicSymbolic{Complex{Int64}}
sy = SymbolicUtils.symtype(y)         # Complex{Int64}
tz = typeof(z)                        # SymbolicUtils.BasicSymbolic{Float32}
sz = SymbolicUtils.symtype(z)         # Float32

[ChrisRackauckas]

If that's the case then it should just use:

@assume_effects :total __parameterless_type(T)=Base.typename(T).wrapper
parameterless_type(x) = parameterless_type(typeof(x))
parameterless_type(x::Type) = __parameterless_type(x)