WYCS: some minor tweaks to the type reduction rules.