added TAnd
adding test case for intersection
Asdads
tc works on add-07.js
onto consCall
add07 seems to work...
intersections seem to work. next: triage failing tests
hmm. deadcast conflation issues due to intersections -- see negate-05.js
hmm. deadcast conflation issues due to intersections -- see negate-05.js
need to thread IContext through Typecheck.hs
onto Liquid.hs
everything builds -- perhaps grep TODO
aargh. infinite loops...
ugh. patchpgm seems to stackoverflow. just stuff casts in annots like SSA etc.
moving code into src
cleaning up. see HEREHEREHERE
everything compiles but...
sigh. more loops. rig tc to insert casts directly.
patchAnn adds duplicate cast annots. confirmed.
Asdasd