Extend meataxe to be able to detect invariant forms of reducible modules (just one possible form is returned)

Extend meataxe to be able to detect invariant forms of reducible modules (just one possible form is returned) #2379