Move ThrowTypeError to error.rs.
Use more rustic names for ThrowTypeError and infrastructure.