P-box and imprecise docs

[AnderGray]

We're missing theory and methodology docs for all of the double-loop and interval MC stuff

[FriesischScott]

What we wrote for the ESREL paper should be sufficient here.