Add Connective as type of arg and add exports

Author: MasterOdin

README.md

@@ -2,4 +2,4 @@ fol-types
 =========
 
 [![Build Status](https://travis-ci.com/OpenReasoning/fol-types-js.svg?branch=master)](https://travis-ci.com/OpenReasoning/fol-types-js)
-![npm (scoped)](https://img.shields.io/npm/v/openreasoning/fol-types.svg)
+![NPM Version](https://img.shields.io/npm/v/@openreasoning/fol-types.svg)

index.ts

@@ -1,19 +1,19 @@
-class Symbol {
+export class Symbol {
     value: string;
 
     constructor(value: string) {
         this.value = value;
     }
 }
 
-type StringSymbol = string | Symbol;
+type ConnectiveUnion = Connective | Symbol | string;
 
-class Connective {
+export class Connective {
     arity: number;
-    args: Symbol[] = [];
+    args: (Connective | Symbol)[] = [];
 
-    constructor(...args: (StringSymbol)[]) {
-        args.forEach((arg: StringSymbol) => {
+    constructor(...args: (ConnectiveUnion)[]) {
+        args.forEach((arg: ConnectiveUnion) => {
             if (typeof arg === 'string') {
                 arg = new Symbol(arg);
             }
@@ -23,32 +23,32 @@ class Connective {
     }
 }
 
-class Not extends Connective {
-    constructor(arg: StringSymbol) {
+export class Not extends Connective {
+    constructor(arg: ConnectiveUnion) {
         super(arg);
     }
 }
 
-class And extends Connective {
-    constructor(arg1: StringSymbol, arg2: StringSymbol) {
+export class And extends Connective {
+    constructor(arg1: ConnectiveUnion, arg2: ConnectiveUnion) {
         super(arg1, arg2);
     }
 }
 
-class Or extends Connective {
-    constructor(arg1: StringSymbol, arg2: StringSymbol) {
+export class Or extends Connective {
+    constructor(arg1: ConnectiveUnion, arg2: ConnectiveUnion) {
         super(arg1, arg2);
     }
 }
 
-class If extends Connective {
-    constructor(arg1: StringSymbol, arg2: StringSymbol) {
+export class If extends Connective {
+    constructor(arg1: ConnectiveUnion, arg2: ConnectiveUnion) {
         super(arg1, arg2);
     }
 }
 
-class Iff extends Connective {
-    constructor(arg1: StringSymbol, arg2: StringSymbol) {
+export class Iff extends Connective {
+    constructor(arg1: ConnectiveUnion, arg2: ConnectiveUnion) {
         super(arg1, arg2);
     }
 }

package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "@openreasoning/fol-types",
-  "version": "0.0.1",
+  "version": "0.0.2",
   "description": "Types of First-Order Logic formula",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",