Add some conveniences for working with pretty terms