Added remLefs, smallRev, and revString. Finished remLefs.