Embedded metalanguage