inference: remove the toplevel @nospecialize annotation from tfuncs.jl

[aviatesk]

Currently tfuncs.jl is full of @nospecialize annotations, and it is a bit confusing that we have both arg-wise annotation and toplevel annotation.

This commit switches to arg-wise annotation only, and also, omits most annotation with a new internal macro @nospecs:

@nospecs def

Adds @nospecialize annotation to non-annotated arguments of def.

(Core.Compiler) julia> @macroexpand @nospecs function tfunc(𝕃::AbstractLattice, x, y::Bool, zs...)
                       x, ys
                   end
:(function tfunc(\$(Expr(:meta, :specialize, :(𝕃::AbstractLattice))), x, y::Bool, zs...)
  #= REPL[3]:1 =#
  \$(Expr(:meta, :nospecialize, :x, :zs))
  #= REPL[3]:2 =#
  (x, ys)
end)

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@Keno @vtjnash are you fine with this change?

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - no performance regressions were detected. A full report can be found here.

[Keno]

I'm good with it - it always confuses me that the default in this file is inverted.

[aviatesk]

Ok, let's go with this.