| ManyTimes(q, f, v) -> (match (sem(q, r),sem(f, r)) with
                        | (Int(m),Funval(i, a, r1)) -> (let rec aux n = if n > 1 then
                                                            sem(a, bind(r1, i, (aux (n-1))))
                                                        else sem(a, bind(r1, i, sem(v, r)))
                                                     in aux m)
                        | (_,_) -> failwith("No function to repeat"))