Started implementing safe maybes
base type, just, nothing, maybe, isJust, isNothing