Compiler specs: Text unification and simplification
Compiler specs: Add a note about incompleteness