Improve debugging C++ with many templates

Please build a supportive function that shows replacement of template constructs step by step so you may figure out where types don't match and why. Like a template match simulation.