First import.

This is a 1-tape TM, which seems to be internally consistent.
Add gitignore.

For now we also ignore proof files etc.