Added data_type routine to assert atomic data value of proper type.  Previously
I was only checking the type field itself, but I needed to assert also that the
left side was zero.