pub type OwnershipError = TyCheckError;