operator fun <T, R, PO : SubjectBasedOption.DefinedOption<T, R, *>> invoke(expect: Expect<T>, subStep: PO.() -> Pair<() -> R, (T) -> R>, presentOptionFactory: () -> PO): R