-- | Make a term variable out of a variable reference
varToId :: Term
        -> Id
varToId (Var ty nm) = Id nm (embed ty)
varToId :: Term
        -> Id
varToId (Var ty nm) = Id nm (embed ty)
varToId (Var ty nm) = Id nm (embed ty)