small refactor: make doAE in InlineCheap monadic.  Passes 64/67 C tests on mac