Alternating Implicit Projected SGD and Its Efficient Variants for Equality-constrained Bilevel Optimization