Fix var type inference2

Giving it another try.
something's confusing me here. If strict is true, this filter rejects well-typed terms? Why?