Doc
Change operator for type list concatenation
Add concat
Simplify definition of PApply

Drop Tail type family