Removed TypeCheck from PatternMatching.
Initial spike of Union class.