Add monad transformer for annotating ELFInfo