bugs never ends in Typechecker, hopefully the ones left are not nasty like this one