Concat

Implement Concatr and Concatl on empty, single, and ftree structures.
If there is any later situation where using `nodes` on a list of length 1 makes sense, chances are that function will require special behaviour in the length 1 case that we haven't already thought of (and that probably isn't "create a node2 containing nil") anyway.