re-enable :g in the REPL
add :ug
These should be stack refs rather than local refs
groom the ugly internal printer output for various REPL commands
Rebuilt the pretty printer for G to match the current use of De Bruijn indices
now rather than De Bruijn levels.
basic Data type support. (Not yet upgraded to handle literals)
Added a form of fully saturated Prim to Core to ease compiling to G
Added primitives, and an encoding for dictionaries using a magic "Slot"
member of G. Shuffled the Interpreter to separate the 4 machine cases
from the rest.
prettyG Slot
compile Core.Dict
Compilation for slot and super HardCore -> G
Switched the global environment to be a hashmap from Ids. Added prettyId
Widescreen editing is unacceptable.
Fixed pretty printing of data types in core
Tweaks to Core -> G compiler, toward proper anf
enable REPL to show unoptimized core
Allowed repl commands to have arguments specifying behavior.

Now using it with :g. By default gives pretty output and optimizes. But has two
mode flags:

  :g+ugly -- dumps the raw data type
  :g+noopt -- doesn't optimize

Also has +pretty and +opt. :ug is now gone.
Added more command argument support. Removed dcore.
use packdeps and packunused during the travis test phase
we need to build imports files