Got the induction principle working for the Option type