Allow inference when the result has free variables.
Remove special case of subtype in tc-apply.
Add missing %s and corresponding unit tests.
Correctly extend tvars in the right place during inference.

Removes wrong extension of tvars in apply as well.
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 %.
Make infer-tests give better errors.
Correct subst/dots on list-dots and values-dots.
Add some more results to infer-tests.
fix minor stepper damage caused by a9f46ade9ea16eba7507
simplify stepper and fix unevaluated id bug
tiny test for letrec
make plot tests more drdr friendly

This avoids a race-condition when one test deletes the file
that another creates and also avoids cluttering the current
directory.
Unbreak TR contracted build.
adjust option/c so that function mis-application errors use the right name
Add one-sided contract for ClassTop types

Closes PR 14486
Improve TR error messages for class instantiation