hasError
typeCheckPattern
These shouldn't be necessary anymore, we should be able to handle ErrorType patterns.