Simplify Lift
Remove monadbase instance
Lift: replace SetMember with Member
Rename Lift to Exec
addExec