WIP: using local version of aterm library to see if we can remove most copying of constructor strings