paper now published
factored out language names to avoid typos in the future