Fix some reachability warnings with Eff
Add ASTUtils.
Fix inaccessibility elaboration.
Make the rest of erasure use ASTUtils.
Add comments.
Use ASTUtils in Compiler.hs.