Concat

Implement Concatr and Concatl on empty, single, and ftree structures.