Checking if a type is bound by a lifetime.

i.e. the lifetime of the type is not shorter than the provided
lifetime.
missing FIXMEs
removed an already resolved FIXME
Merge branch 'fixme-fixes'
Merge branch 'master' of https://github.com/anasazi/rust-redex