[ref_impl_eiffel] [748] Upgrade invariants in C_DATE, etc types.

Revision: 748
Author: thomas.beale

Log Message: