Python Typing Machines 1.0

• Python re-implementation of Grigore's subtyping machines algorithm
• Implementation of my new encoding algorithm, which simulates the Turing machines in real time
• A simple application for running the algorithms
• A comparative experiment between the two algorithms