Add M_PHI to stdlib documentation
fixed a bug in compiling logical AND/OR expressions; fixed another UB when shifting `int`s narrower than 32 bits; implemented `break` and `continue` statements
those are already done
Improved the description of the formal grammar