Found error, Finished Substitute

It is somewhere in my typeInfer Function - I gave up locating exactly
what it was