Add link to "Typed Syntactic Meta-programming" paper...