Moved to using dynamic markers to mark dynamic variables.
All unit tests pass.
[WIP] Debugging specialization.  Gradually building unit tests for specialization, and resolving issues.