Add ATerm generics thanks to glguy