Updated the code to work with the new reification code.

Added Lambda-specefic versions of the tactics to the RTac-folder.