Removed some lifts by generalizing addNames
Added note about GenT between checkArity and termArity calls