Define EXTEND; simplify JOIN; add tests
Simplify EXTEND, use it in QUOTE-BINDING