WyCS: Fixed outstanding bug in type system rewrite rules.
This was a previously unknown bug that appears to have been exposed because of the different order in which rewrite rules are applied using the new StrategyRewriter.  The essential problem was that two rules essentially overlapped and, hence, there was ambiguity over which should be applied.