Return type of "datetime + interval" expression

Per the SQL standard, the return type of "datetime + interval" is the same as the type of "datetime". (Postgres, for instance, always widens the result to TIMESTAMP; this is wrong.)

Also, when adding or subtracting to a TIME value, make sure the result stays within the range 00:00:00..23:59:59.