Tesla.d now IR-compilable