Fir Case Typing