Removed the case for variables in head position since in HOAS there are no variables
Moved different-style implementations into different directories
Replaced unused pattern variables with undercores
Implemented ensugraing, desugaring, internalization and extermalization
Added a symbolic link to SExp.hs
Implemented a REPL
Wrote usage of the INNI-style calculator