llLang: change spec&code: more type informations