add Rev type member, missing eval ops for composition