Make tc-lambda not internal error in poly dotted expected contexts.
Abstract over dotted type in values.
Make valuesdots subtyping not cause contract violations.
Make inst fail on results that are not single valued.