Restacks

Definition of Restacks