Start labelled descriptions examples, and use eliminators exclusively.
Implement append and concat with Desc ind + subst.