Option uses from_value to complete Monad pattern

Removed unused import. Changed Full.map to use Option.from_value. I think having Full(None) breaks the pattern right?