reduc-lang