Removing abstractions should easily be confined
to only unreviewed abstractions.

Closes #1