Countable Fréchet topological groups under CH

We construct under CH a countable Fréchet topological group with sequential non-Fréchet square and a countable Fréchet α3-group which is not α2. We also give a simple proof that for Fréchet topological groups α1.5 is equivalent to α1. This answers some questions of D. Shakhmatov.