after analyzing a var with implicit lambdas, the var type name should be nuked so that the rest of the compiler can check it as an implicit lambda