Add Sequence construct
Remove value: label from Number initialiser
Remove unnecessary extensions to implement protocols in main struct
Split semantics.swift into separate files
main: Give each machine a name and print it before running
Fix bug where an unreduced multiplication would change to an addition!
Make if statement description a little more readable
Add while loop
Rename 1-semantics to small-step-semantics