Type System

[ValeTheVioletMote]

Need to actually implement the type system. The type system should enforce integrity of every type. It could be as simple as:

{"string": x => typeof x == 'string'}

[ValeTheVioletMote]

Custom Types are new functions that have a boolean at the end. Union types should be a chain of declared types separated by OR, effectively.

We could perhaps develop a system to handle Haskell-like types:

"ReasonableAge": x=>x>0 && x < 120

Character name/string age/ReasonableAge hp/number

[ValeTheVioletMote]

For performance's sake, it may be wise to bundle all checks into one singular loop somehow.