Adds capability to extend typelists and check for has_type and has_tail