Be more agressive about removing definitions
Add support for admitting [abstract ...]
Actually do [abstract ...] removal