tailcall annotation: Ast_mapper in parse.ml, used to preprocess [%tailcall e] into e [@tailcall]
[@ tailcall]: updated test w50.ml to test the preprocessing of [%tailcall]
favor `(f [@tailcall]) x y` rather than `(f x y) [@tailcall]`