Add gfold to Untyped
Begin work on substitution related stuff
Add makefile