Cleaned up dependency cycle detection a bit.

Made the dependencies in the generated Makefile be accurate (using
traverse, which was modified a bit to be able to be used for this
purpose)
Revamped the special-forms system to allow it to be extensible.