It seems the only other attribute we use is the `compile` one. Wouldn't it make more sense to store it in `erl.compile` instead of holding it inside `erl.attributes`?