Enable type checking on all queries defaulting to unknown type schema.

[IsaacFleetwood]

Doing a pull request because of potential breaking changes.

Changes include:

• Added unknown types & unknown type inference rules.
• Type checking adds type conversion operators, including forcing overflow/underflow of integers in JS.
• Adding string concatenation operation to allow for differentiating string/int addition.
• Added variable type inference algorithm that uses topological sort of variable dependencies (self-dependent variable loops aren't currently handled, e.g. (data.*A.val).*A. )

All tests currently pass on my local machine, with minimal changes to them. (AOC 2023 had to have changes, due to the new string concatenation operation)