has any L2 team looked at FOCIL as a way to implement L1->L2 forced transactions? imo there’s a big opportunity here to simplify designs and remove a big chunk of custom logic