moved the ast from hou to ast
updated parser main and hou to work with the new tree
fixed up an example discovered that type checking doesnt work
solved the major bug
removed the trace statements
updated everything
fixed argument swapping on gvar_fixed
found location of bug
sub
fixed conflicts
isolated the problem
horray, the wicked witch is dead
added trace
readded swapping of named variables
added exists types
fixed a silly bug with constraint generation
simplified some coppies
added circ type example which fails
cleaned up some code looking for the evil bug
fixed the bug hopefully