Goal: design, implement meta-level interface for statically typed, compiled language BETA, to extend expressiveness of language so programs can be written for it, not just in it. Functionality depending on a language implementation is impossible or ve...