[FIR] Implement restriction on interface companion properties