Deal with unknown variables during alphaRenaming

Should this be possible? (differentiate (var "x" + 1)) $$ ((var "x") $* 1)

It is currently not because of this line in Variable.hs: fVar x = Var <$> gets ((M.! x) . snd)