Add more meta-level formalisms

Author: tangent-vector

.vscode/tasks.json

@@ -9,6 +9,9 @@
             "group": {
                 "kind": "build",
                 "isDefault": true
+            },
+            "options": {
+                "cwd": "${workspaceFolder}/specification/"
             }
         }
     ]