Finish computational descriptions section.
Start desugared description section.