fixup SI-6484
fixup SI-8194
avoids fishy reifier trees after reshape

Under certain conditions described in the attached test, reifier used
to end up with implicit arguments full of `Predef.implicitly` calls
(that’s right - without any type arguments). This commit fixes that.