update foo-lang (tuple constructors)