Remove ASTLift

This also removes all variations of ASTEach and ASTMin/ASTMax
that were written specifically to support lifted selectors.
Update ASTReduce documentation
Merge pull request #24 from robb/remove-lift

Remove ASTLift