mir/pretty: use Option instead of Either<Once, Empty>

[cuviper]

Either is wasteful for a one-or-none iterator, especially since Once
is already an option::IntoIter internally. We don't really need any of
the iterator mechanisms in this case, just a single conditional insert.