Bugfixes for processor_id_type > unsigned int
Fixes for numeric_index_type != unsigned int
More fixes for dof_id_type != unsigned int