refactor(language): module and node declarations

* New default file extension: .refinery (.problem is also supported).
* Add module keyword for self-contained modules.
* Rename indiv declarations to atom declaration.
* Add node and multi declarations for explicitly declared nodes and
  multi-objects, respectively.

1 files changed, 3 insertions, 5 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java
index f05abc45..1f49b0d0 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java
@@ -87,14 +87,12 @@ public class MetadataCreator {
         }
 
         private NodeKind getNodeKind(Node node) {
-                if (ProblemUtil.isImplicitNode(node)) {
-                        return NodeKind.IMPLICIT;
-                } else if (ProblemUtil.isIndividualNode(node)) {
+                if (ProblemUtil.isAtomNode(node)) {
                         return NodeKind.INDIVIDUAL;
-                } else if (ProblemUtil.isNewNode(node)) {
+                } else if (ProblemUtil.isMultiNode(node)) {
                         return NodeKind.NEW;
                 } else {
-                        throw new TracedException(node, "Unknown node type");
+                        return NodeKind.IMPLICIT;
                 }
         }