Type Alias AsLanguage 

pub type AsLanguage<L> = <L as Functor>::Container<Id>;

A type synonym for Signature<L, Id>, which should be an egg Language.