[Feature Request] Allow use of type hints even if arg count mismatches in case of default params

[cretz]

Describe the solution you'd like

Today we only use a type hint if the arg count matches the input count. But the args may have default values. So we need to at least use type hints when the required arg count matches the input count. Maybe we should just remove the check altogether and just use as many type hints as we can.