testType: support options

[unional]

the type checking types will support various options like distribute, exact.

Need to see how to support these options without breaking the inference.

Also, may add IsXXX<T, $O, $Else = never> for backward compatibility before completely dropping the <T, Then, Else> support.