Total number of DOFs (#4155)
Try to get demangled type names for the kernels (#4155)
Obtain and use DOF map (#4182)