Add convenience pp-aterm(|width)