exp patternmatch: add pattern binder example