Test: applyOnVar to new style
idTest with new style
InferCombinators: New-style should not expose any pure expr types in API
InferCombinators: Oops, record combinator was wrong. Add applyRecord
inferFromOneArgToOther: To new style
lambda combinator to yield param getter
Use operators for apply/applyRec