type-theory-for-delayed-feedback