(WIP) A language somewhere between a programming language and a meta-language