Improved documentation of type level functions.
Use generalised inner_type instead of own version.
Minor documentation and indentation fixes.
Concept implementations etc for forward_lists.