Be stingier with default Maybe imports

Only bring in the Maybe ADT

hide maybe, isJust, isNothing, and map