Чем A отличается от T?
Если F = A + A, то *F = *A + A, а не *(A + A). А что самое неприятное - теряется очерёдность приоритетов (умножение и сложение становятся равноправными).

И что-то совсем непонятно, как будет выглядеть грамматика после указанных добавлений.