Changed reduction relation to fix issue with width subtyping.

Any fields not listed in the arg type annotation for a lambda are dropped from
the object during reduction. In the eyes of the type system, these fields don't
exist, so a fold expression shouldn't be able to see them.