On the `Language_object` definition

[joelburget]

Classical parts of a language:

• abstract syntax (not all types will have this, those that do... add Representable type?)
• concrete syntax ☑
• statics -- add checking?
• dynamics -- 🅇 this is its own separate thing