added function in to Var
uses <~< instead of <:< as subtyping witness in SF. Also added three helper function for converting between types