TLM note
consistency; rename cond->acond, introduce scalar cond
move the non smart-constructors from Language to Prelude