FuncLang (Part II)