Compiler specs: Improve terms specs