Failing tests for unimplemented things

* Constraint wildcards
* Pattern/expression signatures