Added commands to let-introduce the LHS and RHS of RULES (mainly for testing purposes).