adding Impl constructor.
exposing the terms for None, Some, cons, and nil.