introduce VarH for a lambda expression giving a variable