Make everybody aware of what is a `margin`.

Adding explicit margin related functions on the `Implicit` is the best way to ensure margins are
handled properly. As a positive side effect, it makes margins customizable by the user.

Also fix the toi computation for compound vs. anything.