LeanLanguage constructor

const LeanLanguage()