Changed to symbol-based alpha-renaming architecture; incomplete.