Annotating Deeply Embedded Languages - A master's thesis on extending deeply embedded languages with annotations, source mapping support, and custom compiler instructions - View it on GitHub