Text this: Formal grammar instruction: theoretical aspects to contemplate its teaching