[module] initial code commit

provides the Maybe, Just, and Nothing types

Signed-off-by: Christopher Rogers <chrissrogers@gmail.com>