Add todos
Use list as data stack
Add labels to Machine
Add Label instruction
Use Label instruction