Add a @tailrec attribute and tail modifier allowing the compiler to emit errors when tail call optimization will not be used.