Add missing %s.

TODO add unit tests for these cases.
Correctly extend tvars in the right place during inference.
Make polydotted case more standard.
Handle inference of list dots under regular lists.
Make inference work with lists under dotted lists.
Infer in dotted lists when we can infer on the bound.
Support keywords with %.