ilo: remove our own type inference