Init: demos that Num is not a derivable class
Init: another failed attempt at creating a Natural number type
Demo the list type