Add some destructive operations and proper-(subset/superset)