Rename Env->ConcEnv to avoid confusion with Effects.Env
Add "full" hacky implementation of the handler
Fix stupid spelling mistake (Elem vs Elemt)
Remove unused ResEnv
Use infix :: instead of (Vect.(::))
Fix stupid f0 vs fO mistake, add totality flag