add trivial inference for Var