Down dir

Hi Pei,

This PR implements the inverse of the up dir. By default bound on `D`.
Note that if you merge this PR, it must be merged after #61.

Cheers,
syl20bnr