refactor reifyListGeneric and adds detailed descriptions of the functions
additional annotation splicing tests