Documented Ingot Module.

> Later `Ingots` will have their `exit` methods called first

can be more explicit by mentioning the data structure, something like:

> `Ingots` will have exit called as the stack is unwound, in a FILO order. `Ingots` have their `exit` methods called in the opposite order from which their `enter` was called.