-Add type checking for stack over-/underflows