Matching: lazy \{-}, min \+, max \?, \{min,max\}