Small improvements.
RLDEi.v fixed.
Cosmetic changes.
Fixes.
RLDE.v added.