Added type checking for strings and functions. Moved some code around.
Added subtyping for strings and functions.
Added object types with width-based subtyping.
Merge branch 'master' of https://github.com/jonahkagan/doof

Conflicts:
	TODO.md