Move Checked Arithmetic implementation to a separate header;
other sundry changes