Implement `ty-bound-by-lifetime`

Checks that the lifetime of the type is not shorter than the provided lifetime.