NumericInstances is deprecated; using Data.Numeric.Function instead. Moved Checked module to Old/ as I will likely not be using it in the final presentation of this work.
Moved Old/ directory out of src.
InsertBase now only has one parameter, making it clear that the "base" we're inserting into is a Tape. This extra type parameter was a case of premature generalization (but would be easy to add back in if there ever arose a need for it).
Ignore cabal-sandbox things.
Merge branch 'master' of github.com:kwef/Strange-Loop-Spaces

Conflicts:
	.gitignore