Map package:Agda

Map a function over a NonEmpty stream.
Map a monadic function on the thing under the abstraction, adding the abstracted variable to the context.
Map a function over the long options. Also removes the short options. Will be used to add the plugin name to the plugin options.