add rev, and more
add first two ghc features