Infer number of callable arguments

[JukkaL]

For callable values, we could infer the number of arguments at least in simple cases where the callable takes a fixed number of positional arguments. The argument types could still be Any, but having the number of arguments would still be helpful.