Redirecting to Type (model theory)