Fix for mismatched largest_id_type and dof_id_type

This should fix the issue.  If you have a better solution with compare_types.h that's fine too.