WyC: Added test cases for #329.

These test cases illustrate a problem related to casting from a record
of one type to a record of another type which has the same, but fewer,
fields.
WyC: Bug fix for #329.

This fix updated the ExplicitCoercionOperator to correctly handle
casting between records with different numbers of fields.