Type-State Pattern for Error Elimination

Use the type system to make impossible error states unrepresentable at compile-time.