Lesson 2 — Money types — newtypes for prices, premiums, and notional