v0.1.0

• Builtins include tictactoe, a platformer, and blackjack.
• Used in Infotheory.tech demos.
• Formal validation for mathematical and physical properties is done and ready for arbitrary new games