Move WithErrorType proxy into its own module
Alter Unify to use WithErrorType