Add more interesting examples of def doing match-define.