Add comments to arithmtic terms code