Oops: --> needs to be right-associative. Add setInferredType, getField, lambdaRecord, tagStr.
Add failing uncurry2 test
InferTests: Type signatures are all boring, remove them
Infer.Rules: Explain rationale of rigidArg rule
More accurate rigidity test. uncurry2 test now passes