rename <sterm> => <aterm> (atomic term)