effects: updated and fixed insertEffects
effects: more work on insert
inserteffects: cleaned up compilation
inserteffects: some fixes
inserteffects: remove excessive caseOf deletions
insertEffects: fixed caseOf

We needed to insert the binding after the children are handled. For
this, I modified mapIn1RebuildTree to take an optional extra action
to be carried out after the last child.
Fix bind optimization to work with closure-based FScope's.
Add simple effect example.
insertEffects: fixed error

We were using Temporary unbounds, which are there for cyclic scope, in
places where we shouldn't use them
Merge branch 'master' into effects

Conflicts:
	src/Language/K3/Analysis/Effects/Core.hs
	src/Language/K3/Analysis/Effects/InsertEffects.hs
	src/Language/K3/Analysis/HMTypes/Inference.hs
	src/Language/K3/Core/Annotation.hs
utils: modified mapIn1RebuildTree to allow an extra action
fix build
Merge branch 'effects'