Mirrors: design principles for meta-level facilities of object-oriented programming languages