Simplify the new types.
Tests for the ErrorStack.