Added failure test for pattern types mismatching their corresponding types in a type signature