TODOs
stub for (integer) operations
don't push aterm files to repo