Fixed up downset-op for natpair-ivars; got more tests running.