make matching and binding extraction into regular functions