Have list.dats typechecking now.