Pattern now matches collections recursively
Pattern allows variables (everyting matches variable now, bindings
consistency is not checked yet)
specs updated
added RSpec configuration