One more set of size type fixes

reduced_basis_ex5 passes with 2-byte dof_id_type now.