fvTerm :: [Id] -> Term -> [Id]