Beginning of an analysis for DS. (+4 squashed commits)
Squashed commits:
[408a1da] Code cleanup
[63607f8] Code formatting.
[2bbc3dc] Move log-timed into lib-ds
[852803b] Cleanup
Ensure that overloaded rules have the same variable name on the RHS