Infer number of callable arguments

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.