Add Resolve scratch (old sugar/ToLL.hs)