Schema instance from a property signature? For example:S.Literal('a', 'b') within the S.optional. Obviously it would be better here if the inner expression was factored out to its own schema to begin with, but a lot of times when working with existing schema definitions that's not feasible.