discover: use _strtypes
discover: unite function
discovery:  Infer option from overlapping tuples