continue SLD resolution work; add self-referencing variable sugar