Merge remote-tracking branch 'origin/fnlft'

opam.pins

theories/lang/notation.v

theories/lang/tactics.v

theories/lifetime/lifetime.v

theories/typing/bool.v

theories/typing/borrow.v

theories/typing/cont.v

theories/typing/cont_context.v

theories/typing/examples/get_x.v

theories/typing/examples/init_prod.v

theories/typing/examples/lazy_lft.v

theories/typing/examples/rebor.v

theories/typing/examples/unbox.v

theories/typing/fixpoint.v

theories/typing/function.v

theories/typing/int.v

theories/typing/lft_contexts.v

theories/typing/lib/cell.v

theories/typing/lib/fake_shared_box.v

theories/typing/lib/option.v