Minor tweaks to makefile
Further makefile tweaks
Initial basic REPL
Update TODO