add link to Typed Syntactic Meta-programming preprint