Creating atomic fact instances of incorrect types

Due to the way the JSON is setup, each parameter is set as a string (even if it is recognised as an Int by the parser). This leads to some issues in typechecking, as you can then do something like this:
```
Fact x
+x(1)
```
Because it sees `1` as a valid string. I will need to add typechecking support to fix this.