Found bug non-exhaustive lubFold

In Queens2.hs when analysing function 'map^Cons' we get the following error:

*** Exception: Non-exhaustive lubfold on
CVar "a"
CMu "List_uf" (CSum [("Cons",CProd [CStr (CVar "a"),CStr (CRec "List_uf")]),("Nil",CProd [])])

Your job is to investigate and solve this. I think it is just another issue with replacing
CVars with their appropriate contexts or vice versa (making sure we are analysing the most general
form)
Found bug, need to re-write foldUp
Now generating all primary contexts faster

The function allLiftContexts' is the prototype definition of
the new method of generating contexts. Right now it generates
all primary contexts (too many) we need to be smarter about
when to convert CVars to CBots, then we're there.
Faster principal Contxt generation
New algorithm for foldUp

This should fix the issues we were running into. I left in the tracing functions
for now but plan to clean them up before merging this branch into master.
Merge branch 'fasterPrinGen' into projections
Mostly works, Taut.hs has a weird bug
WTF :+: