Pattern matching works, now need to allow for variable binding