Explicit Lifetime Annotation Syntax

Annotate functions to bridge the gap between input and output reference lifetimes.