[LP] Finished typing rules.