D1. Working with Spectra abstract syntax