Removed emit.ml (from the ANF branch).