-backtrace automatically adds Tracepoints to functions.

* Add TracepointTick type to the syntax of Core
* TracepointTicks are automatically added to functions while desugaring