Clean up example code a little.
Minor doc tweaks.
Get rid of old FrzMap stuff (cc: #17)
Cabalize (cc: #16); rename stuff; try to fix compile errors.
Rename putInSet to insert, and qualify it (cc: #14)

Also, import Data.LVar.PureSet instead of Set in various places.
minor additoin to TODO
Fix a couple k-CFA bugs.
Have FrzType recursively freeze.
FIX buggy DeepFrz instances. Reactivate some tests.
Merge branch 'master' of github.com:iu-parfunc/lvars
Merge branch 'master' of github.com:iu-parfunc/lvars
Turn back on forced optimization and threading
Remove obsolete parts of cabal
cfa: Add appropriate options to .cabal.
Merge branch 'master' of github.com:iu-parfunc/lvars
Turn back on forced optimization and threading
Remove obsolete parts of cabal
Last round of checking that `FrzType` is applied recursively.
Merge branch 'master' of github.com:iu-parfunc/lvars
Add target for sequential CFA