Simplify type exploration
Simplify type exploration

Discard the nested sequence expression approach. It didn't scale well
and was a awkward to debug

cgravill/TypesTSFS,cgravill/TypesTSFS,cgravill/TypesTSFS