effects: main work complete (except compilation)
effects: fix compile errors in effects/core
effects: match new id names in inserteffects
effects: Moved to Analysis.Effects
effects: updated files to match move to Analysis.Effects
effects: Constructors compiles
Clean up effect annotation types.
Fix missing punctuation in cabal file.
Fix misspelled imports in InsertEffects.
Fix indentation/parse errors in InsertEffects.
Fix =/== error in InsertEffects.
Fix missing `then' in InsertEffects.
Fix tupling and missing brackets in InsertEffects.
Fix missing `let' in InsertEffects.
inserteffects: minor fixes
effects: many compilation fixes
inserteffects: compiles
inserteffects: remove trailing whitespace
inserteffects: added global cyclic/recursive scope
Do away with annoying wrapping of inherited functions

Using the curiously recurring template pattern.
The StlDS now accepts a derived class as a template argument, allowing it to instantiate objects of derived types directly.