Formatting for lists and types. Adding VStack to G-Machine
Adding Pushbasic, Mkint, Mkbool, Get, and Cond.

Type-checks, but GCompiler can't yet generate code for V-stack
operations, so arithmetic execution is broken.