WIP
Got the induction principle working for the Option type