The ATerm Library