moved Kleene closure def to footnote

Tried to reduce the amount of math on the notation