fully rearranged
fdsjlka
commenting out for compilation
back to the simul drawing board
finally have the applicative instance
gonna try adding l to Var
money
newVar implemented
newVar undefineds removed
implemented new abstract constraint
implemented nextId
implemented mkName
implemented orderValues
implemented untype
implemented runNewAbstract
implemented runInit
implemented group
implemented make
implemented dirtyVar
fdsakjl