fix isinplace inference and add inference tests

[oscardssmith]

fixes #1017
This also removes NoMethodsError, TooManyArgumentsError, and TooFewArgumentsError and fixes inference for some *Function constructors`

[ChrisRackauckas]

This error message loses a lot of information. Can we in the error path do a method check and throw the more informative error message?

[oscardssmith]

IMO the better method is to just put the expected nargs in the exception and then we can make the exception printing in charge of that logic. That way none of the complicated bits are in the main function.

[oscardssmith]

I just remembered the tricky part here. This query isn't quite right (see JuliaLang/julia#56279 for details):

julia> f(a::Int, b) = true
f (generic function with 1 method)

julia> hasmethod(f, (Any, Any))
false # because !(Any<:Int)