add a-type-var
annotate all list methods, and make docs provide return types and type-var renderings