Stav dette: Theory of Interest and Life Contingencies, with Pension Applications