Removed TypeCheck from PatternMatching.