Rename tesla_lifetime fields, typedef.

Change old ta_ prefix to tl_ and add a typedef tesla_lifetime for libtesla-internal code.
Let libtesla keep track of automata lifetimes.
Placeholder for "are we initialised" check.