Various bug fixes

Fixed a bug with a broken symbol for erase!, and added alias for
with_discarded (discarded).