RFC: Formalize the term `lifetime parameter`