Make dotted functions of the same bound correctly be inferred.
Fix uniform arg checking, and minor cleanup.
Fix dotted <: starred case.
Make list inference code be shared with sequence code.
Merge case for applying polydotted functions.